L’enseignant(e) de mathématiques, un modèle de rôle social bénéfique à l’orientation asexuée des élèves ?

De la simulation de l'embroussaillement à un outil d'aide à la gestion de l'espace - un modèle de transformations de l'espace

Taking into account interactions and simulating dynamics, the MSA are adapted to modelize complex systems. In case of land-use management, the caracteristics of the space and the perception of actors are important. We formalize the concept of spatial agregation and generalisation and we implement generic spatial entities in a simulation platform. The ForPast model uses it, applied to the contro...

Un modèle général de recherche d'information : Application à la recherche de documents techniques par des professionnels

In the information retrieval (IR) task, characteristics related to the context of the user searchinduce some needs it is necessary to take into account in the modeling of the IR system. In thiswork we consider that the user has a memory about the documents he wants to find: his needconsists of a description of the ideal document w.r.t his memory of the content of thesedocuments....

Evaluation des performances des SGBDOO: un modèle de simulation générique

Résumé : Les performances des Systèmes de Gestion de Bases de Données Orientés Objets (SGBDOO) restent un problème d’actualité, à la fois pour les concepteurs et pour les utilisateurs. L’approche la plus répandue pour évaluer ces performances est l’expérimentation, qui consiste à mesurer directement les performances d’un système existant. Or, la simulation aléatoire à événements discrets présen...

Un modèle de l'assistant à la preuve: PAF!

We propose a semantic model of PAF!, a proof assistant dedicated to program verification focused on the functional fragment of ML. In particular, we model the strong typing predicate, specific to the PAF! system. From the semantic correctness of the system, we prove the consistency of the formalism, as well as the termination property for all strongly typed programs (as defined in the system). ...

Modèle d'Administration des Systèmes Distribués à Base de Composants